منابع مشابه
Non Truth-Functional Many-Valuedness
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective. MSC Primary: 03B50, Secondary: 03B22 03B53 03B20 03B45
متن کاملProbabilistic Logic: Many-valuedness and Intensionality
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson’s probability structures/logics, and on linear inequalities in order to rea...
متن کاملGrzegorz Malinowski IDENTITY , MANY - VALUEDNESS AND REFERENTIALITY
In the paper∗ we discuss a distinctive versatility of the nonFregean approach to the sentential identity. We present many-valued and referential counterparts of the systems of SCI, the sentential calculus with identity, including Suszko’s logical valuation programme as applied to manyvalued logics. The similarity of different constructions: many-valued, referential and mixed, leads us to the co...
متن کاملNon-truth-functional Order Norms
I defend the introduction of triangular (semi)norms and (semi)conorms on bounded partially ordered sets. First, I give a brief survey of the general properties of these binary operators. Then, I work out a number of examples in diverse fields of mathematics, to show that it is indeed useful and natural to generalize the definition of triangular (semi)norms and (semi)conorms from the unit interv...
متن کاملNon-Truth-Functional Fibred Semantics
Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth-functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80544-9